Nuprl Lemma : gen_hyp_tp 13,42

A:Type{i}, e:AH:(AType{j}), z:H(e). z  0    
latex


Upcore 2, core 2
Definitionst  T, x:AB(x), x:AB(x)

origin